A model for transition-based visuospatial pattern recognition

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.Cataloged from PDF version of thesis.Includes bibliographical references (p. 87).In my research, I designed and implemented a system for learning and recognizing visual actions based on state transitions. I recorded three training videos of each of 16 actions (approach, bounce, carry, catch, collide, drop, fly over, follow, give, hit, jump, pick, push, put, take, throw), each lasting 10 seconds and 300 frames. After using a prototype system developed by Dr. Satyajit Rao for focus and actor recognition, actions are represented as qualitative state transitions, tied together to form tens of thousands of patterns, which are then available as action classifiers. The resulting system was able to build simple, intuitive classifiers that fit the training data perfectly.by Telmo Luis Correa Junior.M.Eng

Pluggable type-checking for custom type qualifiers in Java

We have created a framework for adding custom type qualifiers to the Javalanguage in a backward-compatible way. The type system designer definesthe qualifiers and creates a compiler plug-in that enforces theirsemantics. Programmers can write the type qualifiers in their programs andbe informed of errors or assured that the program is free of those errors.The system builds on existing Java tools and APIs.In order to evaluate our framework, we have written four type-checkersusing the framework: for a non-null type system that can detect andprevent null pointer errors; for an interned type system that can detectand prevent equality-checking errors; for a reference immutability typesystem, Javari, that can detect and prevent mutation errors; and for areference and object immutability type system, IGJ, that can detect andprevent even more mutation errors. We have conducted case studies usingeach checker to find real errors in existing software. These case studiesdemonstrate that the checkers and the framework are practical and useful